time hierarchy theorem proof